Injective Hulls of Partially Ordered Monoids
نویسندگان
چکیده
We find the injective hulls of partially ordered monoids in the category whose objects are po-monoids and submultiplicative order-preserving functions. These injective hulls are with respect to a special class of monics called “embeddings”. We show as well that the injective objects with respect to these embeddings are precisely the quantales.
منابع مشابه
Injective positively ordered monoids I
We define in this paper a certain notion of completeness for a wide class of commutative (pre)ordered monoids (from now on P.O.M.’s). This class seems to be the natural context for studying structures like measurable function spaces, equidecomposability types of spaces, partially ordered abelian groups and cardinal algebras. Then, we can prove that roughly speaking, spaces of measures with valu...
متن کاملImaginary groups: lazy monoids and reversible computation
By constructions in monoid and group theory we exhibit an adjunction between the category of partially ordered monoids and lazy monoid homomorphisms, and the category of partially ordered groups and group homomorphisms, such that the unit of the adjunction is injective. We also prove a similar result for sets acted on by monoids and groups. We introduce the new notion of lazy homomorphism for a...
متن کاملInjective positively ordered monoids II
We continue in this paper the study of positively ordered monoids (P.O.M.’s) initiated in [39]. We prove that injective P.O.M.’s are the retracts of the powers of P=[0, ∞]. We also characterize the natural P.O.M.homomorphism from a given refinement P.O.M to its bidual, with e.g. applications to decomposition spaces. As another application, we prove that a refinement P.O.M admits a ‘Banach limit...
متن کاملOrder-adjoint monads and injective objects
Given a monad T on Set whose functor factors through the category of ordered sets with left adjoint maps, the category of Kleisli monoids is defined as the category of monoids in the hom-sets of the Kleisli category of T. The Eilenberg-Moore category of T is shown to be strictly monadic over the category of Kleisli monoids. If the Kleisli category of T moreover forms an order-enriched category,...
متن کاملMorita theorems for partially ordered monoids
Two partially ordered monoids S and T are called Morita equivalent if the categories of right S-posets and right T -posets are Pos-equivalent as categories enriched over the category Pos of posets. We give a description of Pos-prodense biposets and prove Morita theorems I, II, and III for partially ordered monoids.
متن کامل